수치 해석은 이론적 미적분학의 무한 정밀성과 컴퓨터 하드웨어의 유한하고 이산적인 제약 사이를 엄격하게 연결하는 역할을 합니다. 이 슬라이드는 극한, 연속성, 그리고 미분 가능성의 기초 정의를 제시하여, 미적분학이 '정확한' 해석적 목적지를 제공하지만, 수치 계산은 고전적인 실수 해석에서 정의된 오차($\varepsilon$)와 구간($\delta$)에 의해 제한되는 '근사적' 경로를 제공함을 보여줍니다.
1. 기초: 극한과 순차적 근사
우리는 극한의 이론적 추상에서 벗어나, 프로세서가 0에 접근할 수 없고, 단지 기계 에프실론까지 접근할 수 있다는 계산 현실로 나아갑니다.
정의 1.1: 극한
집합 $X$ 위에서 정의된 함수 $f$가 점 $x_0$에서 극한 $L$을 가진다, 즉 $\lim_{x \to x_0} f(x) = L$이라 쓰며, 임의의 실수 $\varepsilon > 0$에 대해 $\delta > 0$가 존재하여, $x \in X$이고 $0 < |x - x_0| < \delta$일 때 항상 $|f(x) - L| < \varepsilon$가 성립하면 그 성립한다.
정의 1.3: 수열의 수렴
수열 $\{x_n\}_{n=1}^{\infty}$가 임의의 $\epsilon > 0$에 대해 양의 정수 $N(\epsilon)$가 존재하여 $n > N(\epsilon)$일 때 항상 $|x_n - x| < \epsilon$가 성립하면, 그 수열의 극한은 $x$이다. 이는 우리의 반복 알고리즘까지 접근할 수 있다는 계산 현실로 나아갑니다.
2. 연속성과 미분 가능성: 안전성 요구사항
수치 소프트웨어에서는, 연속성 (정의 1.2) 그리고 미분 가능성 (정의 1.5) 이는 단순한 학문적 성질이 아니라, 수치적 안정성을 위한 '안전 요건'입니다. 정리 1.6 함수가 $x_0$에서 미분 가능하다면, $x_0$에서 연속임을 증명하며, 이는 작은 측정 오차가 치명적인 출력 변화를 일으키지 않도록 보장합니다.
🎯 실제 사례: 이상 기체 법칙
$PV = nRT$를 생각해보세요. 이론적 미적분학에서는 변수가 정확하다고 가정합니다. 그러나 수치 계산에서는 $P$와 $V$가 측정된 수열의 극한임을 인정합니다.
$T = \frac{PV}{nR} = \frac{(1.00)(0.100)}{(0.00420)(0.08206)} = 290.15 \text{ K} = 17^\circ\text{C}$